A Formal Ontology of Properties
نویسندگان
چکیده
A common problem of ontologies is that their taxonomic structure is often poor and confusing. This is typically exemplified by the unrestrained use of subsumption to accomplish a variety of tasks. In this paper we show how a formal ontology of unary properties can help using the subsumption relation in a disciplined way. This formal ontology is based on some meta-properties built around the fundamental philosophical notions of identity, unity, rigidity, and dependence. These meta-properties impose some constraints on the subsumption relation that clarify many misconceptions about taxonomies. We discuss these misconceptions by means of real examples, and show how our analysis can bring true order to taxonomies, facilitating their understanding, comparison and integration. This is a first step towards a general methodology for ontology-driven conceptual analysis which combines the established tradition of formal ontology in Philosophy with the needs of information systems design.
منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملThe Life Giving Properties in the Structure of the Ganjali-Khan Square in Kerman based on Alexander’s Theory of Order
In studying the case studies of traditional architectures according to Christopher Alexander’s theory about “the nature of order” and the fifteen fundamental properties introduced, it is important to note that the ontology of the theory is based on human’s indigenous feeling about architecture, which subsequently implies these kind of studies to be based on people’s cognitive images induced fro...
متن کاملتوسعه هستانشناسی فرایندمحور برای فناوریهای مدیریت دانش
This paper is an attempt to develop a new ontology for knowledge management (KM) technologies, determining the relationships between these technologies and classification of them. The study applies NOY methodology. Protégé software and OWL language are used for building the ontology. The presented ontology is evaluated with abbreviation and consistency criteria and knowledge retrieval of KM tec...
متن کاملطراحی سامانه نیمه‌خودکار ساخت هستی‌شناسی به‌کمک تحلیل هم‌رخدادی واژگان و روش C-value (مطالعه موردی: حوزه علم‌سنجی ایران)
Ontology is one of formal concepts and the relations in the specific regions.It have recently tried to design the learning, automatic methods of Ontology. Whereas Ontology containing concepts and the relations, exploiting concepts, the semantic relations among concept. The various Ontology of regions and different applications are expensive processes that are automatic.The lack of main knowledg...
متن کاملDeveloping a BIM-based Spatial Ontology for Semantic Querying of 3D Property Information
With the growing dominance of complex and multi-level urban structures, current cadastral systems, which are often developed based on 2D representations, are not capable of providing unambiguous spatial information about urban properties. Therefore, the concept of 3D cadastre is proposed to support 3D digital representation of land and properties and facilitate the communication of legal owners...
متن کاملA Formal Ontology of Properties (Preliminary Version)
A common problem of ontologies is that their taxonomic structure is often poor and confusing. This is typically exemplified by the unrestrained use of subsumption to accomplish a variety of tasks. In this paper we show how a formal ontology of unary properties can help using the subsumption relation in a disciplined way. This formal ontology is based on some meta-properties built around the fun...
متن کامل